Higher-Dimensional Algebra II. 2-Hilbert Spaces
نویسندگان
چکیده
منابع مشابه
Higher-Dimensional Algebra II: 2-Hilbert Spaces
A 2-Hilbert space is a category with structures and properties analogous to those of a Hilbert space. More precisely, we deene a 2-Hilbert space to be an abelian category enriched over Hilb with a-structure, conjugate-linear on the hom-sets, satisfying hf g; hi = hg; f hi = hf; hg i. We also deene monoidal, braided monoidal, and symmetric monoidal versions of 2-Hilbert spaces, which we call 2-H...
متن کاملar X iv : q - a lg / 9 60 90 18 v 2 2 2 O ct 1 99 6 Higher - Dimensional Algebra II : 2 - Hilbert Spaces
A 2-Hilbert space is a category with structures and properties analogous to those of a Hilbert space. More precisely, we define a 2-Hilbert space to be an abelian category enriched over Hilb with a ∗-structure, conjugate-linear on the hom-sets, satisfying 〈fg, h〉 = 〈g, f∗h〉 = 〈f, hg∗〉. We also define monoidal, braided monoidal, and symmetric monoidal versions of 2-Hilbert spaces, which we call ...
متن کاملVector Spaces II : Finite Dimensional Linear Algebra
Example 3. If X ⊆ RN is a vector space then it is a vector subspace of RN . Example 4. R1 is a vector subspace of R2. But the set [−1, 1] is not a vector subspace because it is not closed under either vector addition or scalar multiplication (for example, 1 + 1 = 2 6∈ [−1, 1]). Geometrically, a vector space in RN looks like a line, plane, or higher dimensional analog thereof, through the origin...
متن کاملHigher-Dimensional Algebra V: 2-Groups
A 2-group is a ‘categorified’ version of a group, in which the underlying set G has been replaced by a category and the multiplication map m: G×G → G has been replaced by a functor. Various versions of this notion have already been explored; our goal here is to provide a detailed introduction to two, which we call ‘weak’ and ‘coherent’ 2-groups. A weak 2-group is a weak monoidal category in whi...
متن کاملHigher-Dimensional Algebra IV: 2-Tangles
Just as knots and links can be algebraically described as certain morphisms in the category of tangles in 3 dimensions, compact surfaces smoothly embedded in R4 can be described as certain 2-morphisms in the 2-category of ‘2-tangles in 4 dimensions’. Using the work of Carter, Rieger and Saito, we prove that this 2-category is the ‘free semistrict braided monoidal 2-category with duals on one un...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Advances in Mathematics
سال: 1997
ISSN: 0001-8708
DOI: 10.1006/aima.1997.1617